2

On Axiomatising Products of Kripke Frames

Année:
2000
Langue:
english
Fichier:
PDF, 475 KB
english, 2000
5

Comparing decision problem for various paradigms of algebraic logic

Année:
2002
Langue:
english
Fichier:
PDF, 255 KB
english, 2002
6

Arrow Logic and Infinite Counting

Année:
2000
Langue:
english
Fichier:
PDF, 268 KB
english, 2000
10

Arrow Logic and Infinite Counting

Année:
2000
Langue:
english
Fichier:
PDF, 2.11 MB
english, 2000